Computer upgrade for Canadian science

Mathematics for Computer Science

ly, taking a step amounts to applying a function, and going step by step corresponds to applying functions one after the other. This is captured by the operation of composing functions. Composing the functions f and g means that first f is applied to some argument, x, to produce f .x/, and then g is applied to that result to produce g.f .x//. Definition 4.3.1. For functions f W A ! B and g W B ...

Logic for computer science

Computer Simulations for Macromolecular Science

Macromolecules, or in the most simple version chain molecules of a given length posed and still pose a significant challenge to theoretical physics and chemistry. The computational materials science emerging from this is a growing and exciting field of science. Despite remarkable progress over many years, which is well documented in many research papers and several reviews, only (few) rather si...

Agenda for Computer Science Education

This paper examines the nature and scope of computer science education (CSE) research. We first distinguish CSE research from other forms of educational research, outlining its aims and identity as a research discipline. In examining the state of the art of CSE research, we attempt to categorise past research studies into general themes, reflecting the diverse contributions to CSE made over the...

A taxonomy for computer science

We try to capture the essence of information technology and computer science, arguing that information technologists have the same principal goal as all technologists: to create machines with certain properties. To achieve this, they formalize the problem, i.e. abstract the properties into a specification and invent or develop a schema, i.e. an abstraction of the machine’s structure. Subsequent...